1. Aspect of Modern Logic
پدیدآورنده : by Evert W. Beth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Philosophy.
رده :
BC78
.
D8
B948
1970
2. Computation, Logic, Philosophy :
پدیدآورنده : by Hao Wang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information theory.,Mathematics.,Technology -- Philosophy.
3. Creative Space :
پدیدآورنده : by Andrzej P. Wierzbicki, Yoshiteru Nakamori.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Philosophy.
4. Design science :
پدیدآورنده : Vladimir Hubka and W. Ernst Eder.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Design industriel.
رده :
TA174
.
V533
1996
5. Foundations of set theory
پدیدآورنده : Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levey. With the collaboration of Dirk van Dalen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Philosophy.,Set theory.,Mathematics-- Philosophy.,Set theory.
رده :
QA248
.
F753
1973
6. General systems theory :
پدیدآورنده : Jeffrey Yi-Lin Forrest.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : System theory.,System theory.
رده :
Q295
.
F67
2018
7. Intuition and the Axiomatic Method
پدیدآورنده : \ edited by Emily Carson and Renate Huber
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy. ,Intuitionistic mathematics.,ریاضیات -- فلسفه,ریاضیات شهودی
رده :
E-Book
,
8. Intuition and the axiomatic method
پدیدآورنده : / edited by Emily Carson and Renate Huber
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematic--Philosophy,Intuitionistic mathematics,Axioms
رده :
E-BOOK
9. Intuition in science and mathematics :
پدیدآورنده : Efraim Fischbein
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Intuition,Mathematics-- Philosophy,Science-- Philosophy
رده :
Q175
.
F5468
1987
10. Intuition in science and mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Science- Philosophy,Mathematics- Philosophy,Intuition
11. Kant's critique of pure reason :
پدیدآورنده : by Otfried Höffe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Kant, Immanuel,1724-1804., Kritik der reinen Vernunft.,Kritik der reinen Vernunft (Kant, Immanuel),Causation.,Knowledge, Theory of.,Reason.,Raison.,Théorie de la connaissance.,Causation.,Knowledge, Theory of.,Kritik der reinen Vernunft (Kant),PHILOSOPHY-- General.,Reason.
رده :
B2775
12. Mathematical Thought :
پدیدآورنده : by Evert W. Beth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Philosophy (General),Science -- Philosophy.
رده :
QA9
.
B948
1965
13. Mathematics and the natural sciences :
پدیدآورنده : Francis Bailly, Giuseppe Longo
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biomathematics,Mathematical models,Mathematics-- Philosophy,Physics-- Philosophy,Space and time
14. Modern cryptography and elliptic curves :
پدیدآورنده : Thomas R. Shemanske.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cryptography, Textbooks.,Curves, Elliptic, Textbooks.,Geometry, Algebraic, Textbooks.,Algebraic geometry-- Arithmetic problems. Diophantine geometry-- Applications to coding theory and cryptography.,Computer science-- Instructional exposition (textbooks, tutorial papers, etc.),Computer science-- Theory of data-- Data encryption.,Computersicherheit,Cryptography.,Curves, Elliptic.,Elliptische Kurve,Geometry, Algebraic.,Information and communication, circuits-- Communication, information-- Cryptography.,Kryptologie,Number theory-- Arithmetic algebraic geometry (Diophantine geometry)-- Elliptic curves over global fields.,Number theory-- Computational number theory-- Factorization.,Number theory-- Elementary number theory-- Elementary number theory.,Number theory-- Finite fields and commutative rings (number-theoretic aspects)-- Algebraic coding theory; cryptography.,Number theory-- Instructional exposition (textbooks, tutorial papers, etc.),Public-Key-Kryptosystem,Quantencomputer,Quantum theory-- Axiomatics, foundations, philosophy-- Quantum computation.
رده :
QA567
.
2
.
E44
S534
2017
15. Phenomenology and the Formal Sciences
پدیدآورنده : edited by Thomas M. Seebohm, Dagfinn Føllesdal, Jitendra Nath Mohanty.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Phenomenology.,Philosophy (General)
رده :
B829
.
5
E358
1991
16. Philosophical naturalism /
پدیدآورنده : David Papineau
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Naturalism,Philosophy of mind
رده :
B828
.
2
.
P36
1993
17. Quantum language and the migration of scientific concepts /
پدیدآورنده : Jennifer Burwell.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Physics-- Philosophy.,Quantum theory in literature.,Quantum theory-- Philosophy.,Physics-- Philosophy.,Quantum theory in literature.,Quantum theory-- Philosophy.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.
رده :
QC174
.
13
.
B874
2018eb
18. The origin of the logic of symbolic mathematics :
پدیدآورنده : Burt C. Hopkins
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
H66
2011
19. The ultimate quotable Einstein /
پدیدآورنده : collected and edited by Alice Calaprice ; with a foreword by Freeman Dyson
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Einstein, Albert,1879-1955
رده :
QC16
.
E5
A25
2011
20. Weyl and the problem of space :
پدیدآورنده : Julien Bernard, Carlos Lobo, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Generalized spaces.,Space and time.,Generalized spaces.,Space and time.
رده :
QA689
